A UML-Based Design Methodology for Real-Time and Embedded Systems
نویسنده
چکیده
The fast growing complexity of today's real time embedded systems necessitates new design methods and tools to face the problems of design, analysis, integration and validation of complex systems. We present a system level design method for embedded real time systems combining the informal strengths of UML with the formal strengths of SDL. We demonstrate our flow by the design example of a telecommunications application from the wireless or access domain, showing the applicability of the flow to control and data dominated types of systems. Finally we will show how the application results and other end-user needs and requirements influenced the current UML 2.0 proposal with support for real-time and embedded systems.
منابع مشابه
Towards Formal Support for UML-based Development of Embedded Systems
We describe ongoing work on the definition of a UML-based development methodology for the software of embedded systems. The aim is to improve current tools and methods by incorporating formal techniques. As a starting point, we define a formal semantics for a selected subset of UML. Next this language is extended to increase expressibility, especially concerning timing. Keywords— UML, embedded ...
متن کاملA Model-Based Engineering Methodology for Requirements and Formal Design of Embedded and Real-Time Systems
Activities for the comprehension and development of Cyber-Physical Systems (CPS) include analysis of multiple disciplines including mechanical engineering, electronic engineering, systems engineering and computer science. This work presents a comprehensive and applicable methodology for the initial activities of the development process of CPS. This methodology displays the capacity to describe ...
متن کاملModeling Networks-on-Chip at System Level with the MARTE UML profile
The study of Networks on Chips (NoCs) is a research field that primarily addresses the global communication in Systems-on-Chip (SoCs). The selected topology and the routing algorithm play a prime role in the performance of NoC architectures. In order to handle the design complexity and meet the tight time-to-market constraints, it is important to automate most of these NoC design phases. The ex...
متن کاملThe COMPLEX methodology for UML/MARTE Modeling and design space exploration of embedded systems
The design of embedded systems is being challenged by their growing complexity and tight performance requirements. This paper presents the COMPLEX UML/MARTE Design Space Exploration methodology, an approach based on a novel combination of Model Driven Engineering (MDE), Electronic System Level (ESL) and design exploration technologies. The proposed framework enables capturing the set of possibl...
متن کاملUsing the UML Profile for MARTE to MPSoC Co-Design
The increasing amount of hardware resources in next generation MultiProcessor Systems-on-Chip (MPSoC) calls for efficient design methodologies and tools to reduce their development complexity. This paper presents a candidate MPSoC design environment Gaspard2, which uses the MARTE (Modeling and Analysis of Real-Time and Embedded systems) standard profile for high-level system specification. Gasp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002